∀(xs : List Bool) → Bool
